- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by R. L. Vaught
14 found
Order:
- Finite axiomatizability using additional predicates.W. Craig & R. L. Vaught - 1958 - Journal of Symbolic Logic 23 (3):289-308.
- The First Order Properties of Products of Algebraic Systems.S. Feferman & R. L. Vaught - 1967 - Journal of Symbolic Logic 32 (2):276-276.
- Denumerable Models of Complete Theories.R. L. Vaught, Lars Svenonius, Erwin Engeler & Gebhard Fukrken - 1970 - Journal of Symbolic Logic 35 (2):342-344.
- Sentences true in all constructive models.R. L. Vaught - 1960 - Journal of Symbolic Logic 25 (1):39-53.
- A Löwenheim-Skolem Theorem for Cardinals for Apart.R. L. Vaught, J. W. Addison, Leon Henkin & Alfred Tarski - 1968 - Journal of Symbolic Logic 33 (3):476-477.
- Natural Models of Set Theories.R. Montague & R. L. Vaught - 1960 - Journal of Symbolic Logic 25 (2):177-177.
- Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols.S. C. Kleene, W. Craig & R. L. Vaught - 1971 - Journal of Symbolic Logic 36 (2):334-335.
- A Note on Theories with Selectors.R. Montague & R. L. Vaught - 1960 - Journal of Symbolic Logic 25 (2):177-178.
- Meeting of the association for symbolic logic.James K. Feibleman, R. M. Smullyan & R. L. Vaught - 1970 - Journal of Symbolic Logic 35 (2):352-363.
- Ehrenfeucht A.. On theories categorical in power. Fundamenta mathematicae, vol. 44 (1957), pp. 241–248.R. L. Vaught - 1966 - Journal of Symbolic Logic 31 (4):645-645.
- A. Ehrenfeucht and A. Mostowski. Models of axiomatic theories admitting automorphisms. Fundamenta mathematicae, vol. 43 , pp. 50–68. [REVIEW]R. L. Vaught - 1966 - Journal of Symbolic Logic 31 (4):644-645.
- Kochen Simon. Completeness of algebraic systems in higher order calculi. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 370–376. [REVIEW]R. L. Vaught - 1962 - Journal of Symbolic Logic 27 (1):97-97.
- Review: A. Ehrenfeucht, On Theories Categorical in Power. [REVIEW]R. L. Vaught - 1966 - Journal of Symbolic Logic 31 (4):645-645.
- Review: Simon Kochen, Completeness of Algebraic Systems in Higher Order Calculi. [REVIEW]R. L. Vaught - 1962 - Journal of Symbolic Logic 27 (1):97-97.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ff6c685cb-dmxst uwo